{
  LargeDisplayFont = "-*-helvetica-bold-r-normal-*-24-*-*-*-*-*-*-*";
  HighlightColor = "#4d607d";
  MenuTextExtendSpace = "-1";
  FTitleColor = "#020102";
  MenuTitleExtendSpace = "-1";
  MenuTextFont = "-adobe-helvetica-medium-r-normal-*-*-120-*-*-p-*-iso10646-1";
  WorkspaceBack = (spixmap, "Below the Waterline1024.jpg", "#577599");
  UTitleBack = (spixmap, Belowunfocussed.jpg, "#577599");
  NormalCursor = (builtin, left_ptr);
  IconTitleFont = "-*-helvetica-medium-r-normal-*-8-*-*-*-*-*-*-*";
  PTitleBack = (spixmap, Belowfocussed.jpg, "#7caecc");
  MoveCursor = (bitmap, dot_move.xbm, dot_move_mask.xbm);
  WindowTitleFont = "-adobe-helvetica-bold-r-normal-*-*-120-*-*-p-*-iso10646-1";
  UTitleColor = "#010102";
  MenuDisabledColor = "#bebebe";
  ClipTitleFont = "-adobe-helvetica-bold-r-normal-*-12-*-*-*-p-*-*";
  MenuStyle = flat;
  MenuTextBack = (tpixmap, Belowmenu2.jpg, "#577599");
  ResizeCursor = (bitmap, dot_resize.xbm, dot_resize_mask.xbm);
  PTitleColor = "#010102";
  IconBack = (spixmap, Belowtile1.jpg, "#577599");
  MenuTitleBack = (spixmap, Belowmenutitle1.jpg, "#577599");
  DisplayFont = "-*-helvetica-medium-r-normal-*-10-*-*-*-*-*-*-*";
  FTitleBack = (spixmap, Belowfocussed.jpg, "#7caecc");
  WindowTitleExtendSpace = "-1";
  TitleJustify = left;
  CClipTitleColor = "#7caecc";
  ResizebarBack = (spixmap, Belowunfocussed.jpg, "#577599");
  MenuTextColor = "#010102";
  ClipTitleColor = "#010102";
  IconTitleBack = "#577599";
  HighlightTextColor = "#020000";
  WaitCursor = (bitmap, dot_wait.xbm, dot_wait_mask.xbm);
  IconTitleColor = "#000102";
  MenuTitleFont = "-adobe-helvetica-bold-r-normal-*-*-120-*-*-p-*-iso10646-1";
  MenuTitleColor = "#020001";
}
